Hardware Certification for Real-time Safety-critical Systems: State of the Art

This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors’ own study on tool qualification are presented

Measuring Security: A Challenge for the Generation

This paper presents an approach to measuring computer security understood as a system property, in the category of similar properties, such as safety, reliability, dependability, resilience, etc. First, a historical discussion of measurements is presented, beginning with views of Hermann von Helmholtz in his 19th century work “Zählen und Messen”. Then, contemporary approaches related to the principles of measuring software properties are discussed, with emphasis on statistical, physical and software models. A distinction between metrics and measures is made to clarify the concepts. A brief overview of inadequacies of methods and techniques to evaluate computer security is presented, followed by a proposal and discussion of a practical model to conduct experimental security measurements

Boston's Washington Street : genesis of a shopping district

Thesis. 1976. M.Arch. cn--Massachusetts Institute of Technology. Dept. of Architecture.MICROFICHE COPY AVAILABLE IN ARCHIVES AND ROTCH.Bibliography: leaf 135.by Andrew T. Zalewski.M.Arch.c

Structure of the Shroom-Rho Kinase Complex Reveals a Binding Interface with Monomeric Shroom That Regulates Cell Morphology and Stimulates Kinase Activity

Shroom-mediated remodeling of the actomyosin cytoskeleton is a critical driver of cellular shape and tissue morphology that underlies the development of many tissues including the neural tube, eye, intestines, and vasculature. Shroom uses a conserved SD2 domain to direct the subcellular localization of Rho-associated kinase (Rock), which in turn drives changes in the cytoskeleton and cellular morphology through its ability to phosphorylate and activate non-muscle myosin II. Here, we present the structure of the human Shroom-Rock binding module, revealing an unexpected stoichiometry for Shroom in which two Shroom SD2 domains bind independent surfaces on Rock. Mutation of interfacial residues impaired Shroom-Rock binding in vitro and resulted in altered remodeling of the cytoskeleton and loss of Shroom-mediated changes in cellular morphology. Additionally, we provide the first direct evidence that Shroom can function as a Rock activator. These data provide molecular insight into the Shroom-Rock interface and demonstrate that Shroom directly participates in regulating cytoskeletal dynamics, adding to its known role in Rock localization

Electronic health records to facilitate clinical research

Electronic health records (EHRs) provide opportunities to enhance patient care, embed performance measures in clinical practice, and facilitate clinical research. Concerns have been raised about the increasing recruitment challenges in trials, burdensome and obtrusive data collection, and uncertain generalizability of the results. Leveraging electronic health records to counterbalance these trends is an area of intense interest. The initial applications of electronic health records, as the primary data source is envisioned for observational studies, embedded pragmatic or post-marketing registry-based randomized studies, or comparative effectiveness studies. Advancing this approach to randomized clinical trials, electronic health records may potentially be used to assess study feasibility, to facilitate patient recruitment, and streamline data collection at baseline and follow-up. Ensuring data security and privacy, overcoming the challenges associated with linking diverse systems and maintaining infrastructure for repeat use of high quality data, are some of the challenges associated with using electronic health records in clinical research. Collaboration between academia, industry, regulatory bodies, policy makers, patients, and electronic health record vendors is critical for the greater use of electronic health records in clinical research. This manuscript identifies the key steps required to advance the role of electronic health records in cardiovascular clinical research

Mutation of Tyr137 of the universal Escherichia coli fimbrial adhesin FimH relaxes the tyrosine gate prior to mannose binding

The most prevalent diseases manifested by Escherichia coli are acute and recurrent bladder infections and chronic inflammatory bowel diseases such as Crohn's disease. E. coli clinical isolates express the FimH adhesin, which consists of a mannose-specific lectin domain connected via a pilin domain to the tip of type 1 pili. Although the isolated FimH lectin domain has affinities in the nanomolar range for all high-mannosidic glycans, differentiation between these glycans is based on their capacity to form predominantly hydrophobic interactions within the tyrosine gate at the entrance to the binding pocket. In this study, novel crystal structures of tyrosine-gate mutants of FimH, ligand-free or in complex with heptyl α - D - O -mannopyranoside or 4-biphenyl α - D - O- mannopyranoside, are combined with quantum-mechanical calculations and molecular-dynamics simulations. In the Y48A FimH crystal structure, a large increase in the dynamics of the alkyl chain of heptyl α - D - O -mannopyranoside attempts to compensate for the absence of the aromatic ring; however, the highly energetic and stringent mannose-binding pocket of wild-type FimH is largely maintained. The Y137A mutation, on the other hand, is the most detrimental to FimH affinity and specificity: (i) in the absence of ligand the FimH C-terminal residue Thr158 intrudes into the mannose-binding pocket and (ii) ethylenediaminetetraacetic acid interacts strongly with Glu50, Thr53 and Asn136, in spite of multiple dialysis and purification steps. Upon mutation, pre-ligand-binding relaxation of the backbone dihedral angles at position 137 in the tyrosine gate and their coupling to Tyr48 via the interiorly located Ile52 form the basis of the loss of affinity of the FimH adhesin in the Y137A mutant